Speeding up Static Probabilistic Timing Analysis
نویسندگان
چکیده
Probabilistic Timing Analysis (PTA) has emerged recently to derive trustworthy and tight WCET estimates. Computational costs due to the use of the mathematical operator called convolution used by SPTA – the static variant of PTA – and also deployed in many domains including signal and image processing, jeopardize the scalability of SPTA to real-size programs. We evaluate, qualitatively and quantitatively, optimizations to reduce convlution’s computational costs when it is applied to SPTA. We showthat SPTA specific optimizations provide the largest execution time reductions, at the cost of a small loss of precision.
منابع مشابه
Criticality Aware Latin Hypercube Sampling for Efficient Statistical Timing Analysis
Process variation is a major concern in the semiconductor industry today. Probabilistic statistical static timing analysis (SSTA), where random variables are used to represent arrival times, has been proposed as a method to address this challenge. However, there are a number of modeling and accuracy difficulties associated with probabilistic SSTA analysis and optimization methods, such as how t...
متن کاملOn the Meaning of pWCET Distributions and their use in Schedulability Analysis
This short paper accompanies the keynote talk at RTSOPS 2017. It discusses the different meanings attached to probabilistic Worst-Case Execution Time (pWCET) distributions derived from Static Probabilistic Timing Analysis (SPTA) and MeasurementBased Probabilistic Timing Analysis (MBPTA). These different meanings relate to aleatoric variability (randomness in the systems and its environment) and...
متن کاملProbabilistic Timing Verification and Timing Analysis for Synthesis of Digital Interface Controllers
متن کامل
PROARTIS: Probabilistically Analysable Real-Time Systems
Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current-generation real-time embedded systems. The adoption of more complex hardware to respond to the increasing demand for computing power in nextgeneration systems exacerbates some of the limitations of Static Timing Analysis. In particular, the effort of acquiring (1) detail information on the hardw...
متن کاملPROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems
This position paper outlines the innovative probabilistic approach being taken by the EU Integrated Project PROXIMA to the analysis of the timing behaviour of mixed criticality real-time systems. PROXIMA supports multi-core and mixed criticality systems timing analysis by use probabilistic techniques and hardware/software architectures that reduce dependencies which affect timing. The approach ...
متن کامل